CORE SIM: A multi-purpose neutronic tool for research and education

This paper deals with the development, validation, and demonstration of an innovative neutronic tool. The novelty of the tool resides in its versatility, since many different systems can be investigated and different kinds of calculations can be performed. More precisely, both critical systems and subcritical systems with an external neutron source can be studied, and static and dynamic cases in the frequency domain (i.e. for stationary fluctuations) can be considered. In addition, the tool has the ability to determine the different eigenfunctions of any nuclear core. For each situation, the static neutron flux, the different eigenmodes and eigenvalues, the first-order neutron noise, and their adjoint functions are estimated, as well as the effective multiplication factor of the system. The main advantages of the tool, which is entirely MatLab based, lie with the robustness of the implemented numerical algorithms, its high portability between different computer platforms and operative systems, and finally its ease of use since no input deck writing is required. The present version of the tool, which is based on two-group diffusion theory, is mostly suited to investigate thermal systems. The definition of both the static and dynamic core configurations directly from the static macroscopic cross-sections and their fluctuations, respectively, makes the tool particularly well suited for research and education. Some of the many benchmark cases used to validate the tool are briefly reported. The static and dynamic capabilities of the tool are also demonstrated for the following configurations: a vibrating control rod, a perturbation traveling upwards with the core flow, and a high frequency localized perturbation. The tool is freely available on direct request to the author of the present paper.     

Study on conductivity and redox stability of iron orthovanadate

FeVO₄ was synthesised by conventional solid state technique. Impedance measurements using a silver electrode were unsuccessful due to a solid state reaction between FeVO₄ and Ag, forming α-AgVO₃ and α-Fe₂O₃ at the interface. Impedance measurements, with a platinum electrode, reaffirmed that FeVO₄ exhibits semiconductor behaviour in air. In a reducing atmosphere, 5% H₂/Ar, high electronic conductivity, from 1 S cm⁻¹ at 300 °C to 2 S cm⁻¹ at 700 °C, was observed with an activation energy of 0.13(1) eV. X-ray diffraction, thermogravimetric analysis and differential scanning calorimetry data determined that the change in electronic conductivity was due to the degradation of the material into FeV₂O₄ and α-Fe₂O₃. It is believed that the conduction was due to electron hopping between vanadium d-orbitals. Neither FeVO₄ nor FeV₂O₄ are deemed suitable as anode materials for solid oxide fuel cells, due to redox instability.     

Overview of the MPEG Reconfigurable Video Coding Framework

Video coding technology in the last 20 years has evolved producing a variety of different and complex algorithms and coding standards. So far the specification of such standards, and of the algorithms that build them, has been done case by case providing monolithic textual and reference software specifications in different forms and programming languages. However, very little attention has been given to provide a specification formalism that explicitly presents common components between standards, and the incremental modifications of such monolithic standards. The MPEG Reconfigurable Video Coding (RVC) framework is a new ISO standard currently under its final stage of standardization, aiming at providing video codec specifications at the level of library components instead of monolithic algorithms. The new concept is to be able to specify a decoder of an existing standard or a completely new configuration that may better satisfy application-specific constraints by selecting standard components from a library of standard coding algorithms. The possibility of dynamic configuration and reconfiguration of codecs also requires new methodologies and new tools for describing the new bitstream syntaxes and the parsers of such new codecs. The RVC framework is based on the usage of a new actor/ dataflow oriented language called CAL for the specification of the standard library and instantiation of the RVC decoder model. This language has been specifically designed for modeling complex signal processing systems. CAL dataflow models expose the intrinsic concurrency of the algorithms by employing the notions of actor programming and dataflow. The paper gives an overview of the concepts and technologies building the standard RVC framework and the non standard tools supporting the RVC model from the instantiation and simulation of the CAL model to software and/or hardware code synthesis.     

Fast and robust estimation of the multivariate errors in variables model

In the multivariate errors in variables models, one wishes to retrieve a linear relationship of the form y=β ^t x+α, where both x and y can be multivariate. The variables y and x are not directly measurable, but observed with measurement error. The classical approach to estimate the multivariate errors in variables model is based on an eigenvector analysis of the joint covariance matrix of the observations. In this paper, a projection-pursuit approach is proposed to estimate the unknown parameters. The focus is on projection indices based on half-samples. These lead to robust estimators which can be computed using fast algorithms. Fisher consistency of the procedure is shown, without the need to make distributional assumptions on the x-variables. A simulation study gives insight into the robustness and the efficiency of the procedure.     

Mechanical behavior of entangled fibers and entangled cross-linked fibers during compression

Entangled fibrous materials have been manufactured from different fibers: metallic fibers, glass fibers, and carbon fibers. Specimens have been produced with and without cross-links between fibers. Cross-links have been achieved using epoxy spraying. The scope of this article is to analyze the mechanical behavior of these materials and to compare it with available models. The first part of this article deals with entangled fibrous materials without cross-link between fibers. Compression tests are detailed and test reproducibility is checked. In the second part, compression tests were performed on materials manufactured with cross-linked fibers. The specific mechanical behavior obtained is discussed.     

Reasoning from last conflict(s) in constraint programming

Constraint programming is a popular paradigm to deal with combinatorial problems in artificial intelligence. Backtracking algorithms, applied to constraint networks, are commonly used but suffer from thrashing, i.e. the fact of repeatedly exploring similar subtrees during search. An extensive literature has been devoted to prevent thrashing, often classified into look-ahead (constraint propagation and search heuristics) and look-back (intelligent backtracking and learning) approaches. In this paper, we present an original look-ahead approach that allows to guide backtrack search toward sources of conflicts and, as a side effect, to obtain a behavior similar to a backjumping technique. The principle is the following: after each conflict, the last assigned variable is selected in priority, so long as the constraint network cannot be made consistent. This allows us to find, following the current partial instantiation from the leaf to the root of the search tree, the culprit decision that prevents the last variable from being assigned. This way of reasoning can easily be grafted to many variations of backtracking algorithms and represents an original mechanism to reduce thrashing. Moreover, we show that this approach can be generalized so as to collect a (small) set of incompatible variables that are together responsible for the last conflict. Experiments over a wide range of benchmarks demonstrate the effectiveness of this approach in both constraint satisfaction and automated artificial intelligence planning.     

Optimization methodology of dynamic data structures based on genetic algorithms for multimedia embedded systems

Modern multimedia application exhibit high resource utilization. In order to efficiently run this kind of applications in embedded systems, the dynamic memory subsystem needs to be optimized. A key role in this optimization is played by the dynamic data structures that reside in every real-life application. This paper presents a novel and automated way to optimize dynamic data structures. The search space is pruned using genetic algorithms that converge to the best multilayered data structure implementation for the targeted applications.     

Study of ITER equatorial port plug handling system and vacuum sealing interface

In the field of the ITER port plug engineering and integration task, CEA has contributed to define proposals concerning the port plugs vacuum sealing interface with the vessel flange and the equatorial plug handling.The 2001 baseline vacuum flange sealing consisted of TIG welding of a 316L strip plate on to U shapes. This arrangement presented some issues like welding access, implementation of tools, lip consumption, complex local leak test, continuous leak checking. Therefore, an alternate sealing solution based on the use of metallic gaskets is proposed. The different technical aspects are discussed to explain how this design can simplify the maintenance and deal with safety and vacuum requirements.The design of the mechanical attachment and vacuum sealing of the plug has constantly evolved, but the associated remote handling equipment was not systematically reviewed. An update of the cask and maintenance procedure was studied in order to design it in accordance with the last generic plug flange design. This includes a concept of a gripping system that uses the plug flange bolting area and, to help the remote handling process, a cantilever assisting system is suggested to increase the reliability of the transfer operation between vacuum vessel and cask.